irreducible proof

不可约证明